proof by cases discrete math examples